idf_component_register(
  SRCS
    "core---esp32s3/boot_bin.c"
    "base/pxt.cpp"
    "base/gc.cpp"
    "base/core.cpp"
    "base/advmath.cpp"
    "base/trig.cpp"
    "base/buffer.cpp"
    "base/loops.cpp"
    "base/control.cpp"
    "base/controlgc.cpp"
    "core---esp32s3/scheduler.cpp"
    "core---esp32s3/config.cpp"
    "core---esp32s3/target.cpp"
    "core---esp32s3/dmesg.cpp"
    "core---esp32s3/usb.cpp"
    "core---esp32s3/platform.cpp"
    "core---esp32s3/pins.cpp"
    "core---esp32s3/pintarget.cpp"
    "core---esp32s3/pinsDigital.cpp"
    "core---esp32s3/control.cpp"
    "core---esp32s3/codalemu.cpp"
    "core---esp32s3/keys.cpp"
    "core---esp32s3/vm.cpp"
    "core---esp32s3/verify.cpp"
    "core---esp32s3/vmload.cpp"
    "core---esp32s3/worker.cpp"
    "core---esp32s3/crypto.cpp"
    "game/targetoverrides.cpp"
    "game/controllerbuttons.cpp"
    "game/multiplayer.cpp"
    "game/keymap.cpp"
    "mixer---ext/sound.cpp"
    "mixer---ext/melody.cpp"
    "screen---ext/screen.cpp"
    "screen---ext/panic.cpp"
    "screen---ext/image.cpp"
    "settings---esp32/settings.cpp"
    "wifi---esp32/httpserver.cpp"
    "wifi---esp32/socket.cpp"
    "wifi---esp32/wifi.cpp"
    "main.cpp"
    "pointers.cpp"
    "esp_hid_gap.c"
  INCLUDE_DIRS
    "."
)
